AS CURIOSIDADES DE DOM CASMURRO: TRADUZIR A "VASTA POLÊMICA"

The Combinatorics of Dom de Caen

We give an overview of some of the mathematical results of Dominique de Caen. These include a short proof of König’s theorem, results on Turán numbers, biclique partitions, clique coverings, hypergraphical Steiner systems, p-ranks, stellar permutations, the construction of new distance-regular graphs, large sets of equiangular lines, a bound on the probability of a union, and more.

DOM: Towards a Formal Specification

The W3C Document Object Model (DOM) specifies an XML update library. DOM is written in English, and is therefore not compositional and not complete. We provide a first step towards a compositional specification of DOM. Unlike DOM, we are able to work with a minimal set of commands and obtain a complete reasoning for straight-line code. Our work transfers O’Hearn, Reynolds and Yang’s local Hoare...

letude de la typologie narrative de mort a credit de louis ferdinand celine

چکیده ندارد.

Lakes as buffers of stream dissolved organic matter (DOM) variability: Temporal patterns of DOM characteristics in mountain stream-lake systems

IfM - Publication 2 - 296 M . Vasta and G . I . Schuëller

In the field of structural engineering, various analytical procedures have been developed for the analysis of nonlinear structural systems subjected to random dynamic loading. To date, the Monte Carlo simulation (MCS) seems to be the most generally applicable approach for the reliability analysis of large nonlinear multi-degree-of-freedom systems. In this paper, a method that allows for reducti...